南京师范大学学报（工程技术版）
过刊查询页面
关键词中包括
XYZ /E
的文章
1
基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析
王少将
1
, 张广泉
1
, 吴国伟
2
2008年03期 [82－87][
摘要
](
1480
)
[
pdf
196KB]
(
2866
)